La base dell'algebra lineare si basa su due interpretazioni distinte ma matematicamente equivalenti dell'equazione $Ax = b$. Passiamo dalla tradizionale Rappresentazione per Righe, in cui cerchiamo l'intersezione di iperpiani geometrici, alla più potente Rappresentazione per Colonnes, che considera la matrice $A$ come un insieme di vettori di base combinati linearmente per costruire il vettore obiettivo $b$.
1. La Geometria della Soluzione
Nella Prospettiva per Righe, ogni equazione in un sistema 3x3 rappresenta un piano in $\mathbb{R}^3$. La soluzione $x = (2, 3, 4)$ è il punto unico dove questi tre piani si intersecano. Matematicamente, $b$ viene calcolato riga per riga utilizzando il prodotto scalare (un prodotto riga per colonna):
$b = [A(1, :) * x; A(2, :) * x; A(3, :) * x]$
Viceversa, la Rappresentazione per Colonnes interpreta $Ax = b$ come una richiesta di una combinazione lineare specifica di vettori colonna: $b = A(:, 1)x_1 + A(:, 2)x_2 + A(:, 3)x_3$. Qui, la matrice $A$ è vista come un insieme di direzioni, e le variabili $x_i$ sono i pesi (scalari) assegnati per raggiungere l'obiettivo $b$. Come sottolineato nella teoria fondamentale: Rappresentazione per Colonnes: $Ax = b$ chiede una combinazione di colonne per produrre $b$.
Considera $A = \begin{bmatrix} 1 & 2 \\ 1 & 2 \end{bmatrix}$. Calcolando $ad - bc$ otteniamo $2 - 2 = 0$. Questa matrice è singolare. Nella rappresentazione per righe, le rette sono parallele. Nella rappresentazione per colonne, entrambe le colonne giacciono sulla stessa retta; non possiamo raggiungere un $b$ che non sia su quella retta.
2. A come Trasformazione Lineare
Moltiplicare un vettore per $A$ non è solo un calcolo; è una trasformazione lineare. Soddisfa il principio di linearità: $Aw = cAu + dAv$ (dove $w = cu + dv$). Ciò conferma che $A$ è un operatore che mappa vettori da uno spazio a un altro, potenzialmente coinvolgendo rotazione o proiezione (Diagramma, pg 42).
- Regola delle Dimensioni: $(m \times n)(n \times p) = (m \times p)$ (Pagina 72).
- Componenti dell'Identità: I vettori della base standard $e_1 = [1,0,0]^T, e_2 = [0,1,0]^T, e_3 = [0,0,1]^T$ definiscono le dimensioni di questo spazio (Diagramma, pg 80).
- Nota Avanzata: La formula di Woodbury-Morrison è il 'lemma dell'inversione matriciale' nell'ingegneria, usata per aggiornare gli inversi dopo piccole variazioni in $A$.